Constraint programming

Results: 1169



#Item
31Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-11-21 11:00:56
32A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the

A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
33Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of

Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-05-28 10:14:09
34Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization: Supplementary Material A

Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization: Supplementary Material A

Add to Reading List

Source URL: psl.umiacs.umd.edu

Language: English - Date: 2013-06-14 19:26:47
35LNCSA Standard Framework for Timetabling Problems

LNCSA Standard Framework for Timetabling Problems

Add to Reading List

Source URL: stefan.buettcher.org

Language: English - Date: 2006-04-07 00:52:14
36Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA

Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA

Add to Reading List

Source URL: tinytocs.ece.utexas.edu

Language: English - Date: 2016-03-05 17:06:25
37Microsoft Word - NEW06.docx

Microsoft Word - NEW06.docx

Add to Reading List

Source URL: agecon2.tamu.edu

Language: English - Date: 2013-08-28 14:38:26
38Path Constraints on Semistructured and Structured Data Peter Buneman University of Pennsylvania

Path Constraints on Semistructured and Structured Data Peter Buneman University of Pennsylvania

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-12-31 07:06:14
39Generating tractable CSPs by means of adjoint functors Jan Foniok joint work with Claude Tardif Fête of Combinatorics and Computer Science

Generating tractable CSPs by means of adjoint functors Jan Foniok joint work with Claude Tardif Fête of Combinatorics and Computer Science

Add to Reading List

Source URL: www.ifor.math.ethz.ch

Language: English - Date: 2008-11-18 08:48:31
40Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-18 11:55:34